Responsiveness and stable revivals
نویسندگان
چکیده
منابع مشابه
The Stable Revivals Model in CSP-Prover
The stable revivals model R provides a new semantic framework for the process algebra Csp. The model R has recently been added to the realm of established Csp models. Within the Csp context, it enhances the analysis of systems with regards to properties such as responsiveness and stuckness. These properties are essential in component based system design. In this paper we report on the implement...
متن کاملMolecular Evolution: Retroposon revivals
Phylogenetic studies of the mouse L1 retroposon family show that the elements evolve through successively active subfamilies, which differ from each other by complete replacements of their promoter sequences.
متن کاملQuantum wave packet revivals
The numerical prediction, theoretical analysis, and experimental verification of the phenomenon of wave packet revivals in quantum systems has flourished over the last decade and a half. Quantum revivals are characterized by initially localized quantum states which have a short-term, quasi-classical time evolution, which then can spread significantly over several orbits, only to reform later in...
متن کاملRevivals of Quantum Wave Packets
We present a generic treatment of wave-packet revivals for quantum-mechanical systems. This treatment permits a classification of certain ideal revival types. For example, wave packets for a particle in a one-dimensional box are shown to exhibit perfect revivals. We also examine the revival structure of wave packets for quantum systems with energies that depend on two quantum numbers. Wave pack...
متن کاملTailoring Spin Chain Dynamics\ for Fractional Revivals
The production of quantum states required for use in quantum protocols & technologies is studied by developing the tools to re-engineer a perfect state transfer spin chain so that a separable input excitation is output over multiple sites. We concentrate in particular on cases where the excitation is superposed over a small subset of the qubits on the spin chain, known as fractional revivals, d...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2007
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-007-0032-9